<?php
header ( "Content-type: text/html; charset=utf-8" );
foreach ($docs as $doc) {
	echo '<option value="'.$doc['DOC_NO'].'">'.$doc['DOCTOR_NAME'].'</option>';
}
?>